Wera and Claus Küchenmeister: Eine Begabung muß man entmutigen ...

Wie lernt man IT-Sicherheit am besten? Eine empirische Studie

Eine Betrachtung der aktuellen IT-Sicherheitslehre an Universitäten zeigt, dass Studenten nicht nur Techniken zum Schutz von IT-Systemen erlernen, sondern vermehrt auch Angriffsmethoden vermittelt bekommen, d.h. wie IT-Systeme kompromittiert und Schwachstellen ausgenutzt werden können. Aber wie ist diese Entwicklung zu bewerten? Um diese Frage zu beantworten wird die Hypothese untersucht, dass ...

Santa Claus - with Mobile Reindeer and Elves

Mobile processes, along with mobile channels, enable process networks to be dynamic: they may change their size (number of processes, channels, barriers) and shape (connection topology) as they run – much like living organisms. One of the benefits is that all connections do not have to be established statically, in advance of when they are needed and open to abuse. In classical occam, care had ...

Konzepte für die Begabtenförderung auf dem Gebiet der Informatik und ihre Umsetzung am Schülerrechenzentrum Dresden

In diesem Beitrag werden Konzepte für eine längerfristige, mehrstufige Förderung interessierter und begabter Schüler auf dem Gebiet der Informatik vorgestellt und Empfehlungen für die Gestaltung entsprechender, aufeinander abgestimmter „Bausteine“ gegeben. Darüber hinaus wird über die Realisierung einiger dieser Konzepte am Schülerrechenzentrum an der TU Dresden berichtet. 1 Einige allgemeine B...

Dynamic Asset Allocation ∗ Claus

Higher - Order ( Non - ) Modularity Claus

We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting systems modularity of confluence, normalization, and termination can be recovered by imposing suitable l...